/*
 * 本文件为Extjs的补丁，意在调整一些Extjs的行为。
 */
//屏蔽访问extjs.com
Ext.BLANK_IMAGE_URL = '/' + window.location.pathname.split('/', 2)[1] + '/support/resources/images/default/s.gif';

Ext.onReady(function() {
    if (document.cookie && document.cookie.indexOf('CURRENT_THEME') != -1) {
        Ext.util.CSS.swapStyleSheet('theme', '/' + window.location.pathname.split('/', 2)[1] + '/support/resources/css/' + document.cookie.split(';')[0].split('=')[1]);
    }
});

//为了表单提交后能正确解析后台传来的xml
Ext.decode = function(json) {
    if (json.search(/<\?xml\s+version=.+\?>/) != -1) { //匹配xml
        return eval("(" + "{success: true}" + ')');
    } else {
        return eval("(" + json + ')'); //Extjs默认的行为
    }
};
